6 A pr 2 00 5 An Audit Logic for Accountability ( Extended
نویسندگان
چکیده
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architecture. Our language supports the specification of conditions and obligations, and also the possibility to refine policies. In our framework, the compliance with usage policies is not actively enforced. However, agents are accountable for their actions, and may be audited by an authority requiring justifications.
منابع مشابه
A Logical Method for Policy Enforcement over Evolving Audit Logs (CMU-CyLab-11-002)
We present an iterative algorithm for enforcing policies represented in a first-order logic,which can, in particular, express all transmission-related clauses in the HIPAA Privacy Rule.The logic has three features that raise challenges for enforcement — uninterpreted predicates(used to model subjective concepts in privacy policies), real-time temporal properties, and quan-tifica...
متن کاملRole of Performance Auditing on Public Accountability Improvement; Emphasis on the Report`s Content
Accountability refers to the commitment of public sector organizations and managers to make decisions about public resources and their other social responsibilities According to agency theory. Efforts to improve public accountability and move towards good governance are the demands of all citizens. One of the tools that can help improve public accountability is the implementation of performance...
متن کاملA Logical Method for Policy Enforcement over Evolving Audit Logs
We present an iterative algorithm for enforcing policies represented in a first-order logic,which can, in particular, express all transmission-related clauses in the HIPAA Privacy Rule.The logic has three features that raise challenges for enforcement — uninterpreted predicates(used to model subjective concepts in privacy policies), real-time temporal properties, and quan-tifica...
متن کاملar X iv : m at h / 05 05 36 8 v 3 [ m at h . PR ] 6 A pr 2 00 6 SLE Coordinate Changes
The purpose of this note is to describe a framework which unifies radial, chordal and dipolar SLE. When the definition of SLE(κ; ρ) is extended to the setting where the force points can be in the interior of the domain, radial SLE(κ) becomes chordal SLE(κ; ρ), with ρ = κ− 6, and vice versa. We also write down the martingales describing the Radon–Nykodim derivative of SLE(κ; ρ1, . . . , ρn) with...
متن کامل